derivative equals inverse